Fibring as Biporting Subsumes Asymmetric Combinations

The transference of preservation results between importing (a logic combination mechanism that subsumes several asymmetrical mechanisms for combining logics like temporalization, modalization and globalization) and unconstrained fibring is investigated. For that purpose, a new (more convenient) formulation of fibring, called biporting, is introduced. The equivalence between fibring and biporting is established by showing that satisfaction and semantic consequence are preserved. In consequence, particular cases of importing, like temporalization, modalization and globalization are shown to be subsumed by fibring. As an illustration, the preservation of the finite model property by fibring is carried over to importing and then to globalization. keywords: importing, temporalization, finite model property, fibring, biporting, combining logics. MSC 2010: 03B62, 03B44, 03B45.